From 85cb55a8869c26f8f762060159785c63e2ca1652 Mon Sep 17 00:00:00 2001 From: Keir Fraser Date: Tue, 9 Oct 2007 16:06:50 +0100 Subject: [PATCH] MiniOS: no-stack-protector added to the cflags if needed, and the default domain config file fixed. From: Grzegorz Milos Signed-off-by: Keir Fraser --- extras/mini-os/domain_config | 2 +- extras/mini-os/minios.mk | 1 + 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/extras/mini-os/domain_config b/extras/mini-os/domain_config index 57f909ac5d..f3ec1d1c51 100644 --- a/extras/mini-os/domain_config +++ b/extras/mini-os/domain_config @@ -8,7 +8,7 @@ #---------------------------------------------------------------------------- # Kernel image file. -kernel = "mini-os.elf" +kernel = "mini-os.gz" # Initial memory allocation (in megabytes) for the new domain. memory = 32 diff --git a/extras/mini-os/minios.mk b/extras/mini-os/minios.mk index 5f63e61427..5f81bb7d77 100644 --- a/extras/mini-os/minios.mk +++ b/extras/mini-os/minios.mk @@ -7,6 +7,7 @@ debug = y # Define some default flags. # NB. '-Wcast-qual' is nasty, so I omitted it. DEF_CFLAGS := -fno-builtin -Wall -Werror -Wredundant-decls -Wno-format +DEF_CFLAGS += $(call cc-option,$(CC),-fno-stack-protector,) DEF_CFLAGS += -Wstrict-prototypes -Wnested-externs -Wpointer-arith -Winline DEF_CFLAGS += -D__XEN_INTERFACE_VERSION__=$(XEN_INTERFACE_VERSION) -- 2.30.2